COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "memo.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "memo.pub[let,jmc]" source;
.cb NOTES ON EPISTEMOLOGICAL PROBLEMS OF AI


	These notes describe various problems that arise in attempting
to formalize commone sense facts about the world.
While our objective is to express facts in languages of mathematical
logc, especially first order logic, many people, perhaps most, will
find the discussion to vague to lead them to formalisms.  I can't help
that, but I hope that at least a few people will find the discussions
helpful.

Missionaries and Cannibals

	A key example problem is going from a first order logic
description of missionaries-and-cannibals+common-sense to the Amarel model.
Neither common sense nor the description of the problem should be
ad hoc.  The derivation will involve non-monotonic reasoning.